5th Conference on automated deduction - Les Arcs, France, July 8-11, 1980
- Författare
- Robert Kowalski Wolfgang Bibel Conference on Automated Deduction 1980) Les Arcs :
- (Edited by W. Bibel and R. Kowalski.)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | 1980 | Tyskland, Berlin, New York | 385 sidor. |